Soas: Reward Machines For Cooperative Multi-Agent Reinforcement Learning